let rho_inv = a => (a, ());
